Esta es una lista de los temas tratados y por tratar en el curso. Cada uno de los enlaces (links) lleva a una página con las notas docentes correspondientes.

Inicio

• Introducción
  Objetivos y Motivación
  
  
• Definiciones Básicas
  Qué son los Traductores y los Interpretes.
  
  
• Fases de un Compilador
  Las fases de un compilador (Traductor) y la función de cada una de ellas.
  
  
• Lenguajes Formales
  Definición abstracta de Alfabeto y Lenguaje, y de las operaciones sobre los mismos.
  
  

Conjuntos, Expresiones, y Lenguajes Regulares

• Conjunto Regular
  Definición de Conjunto Regular. Introducción a las expresiones regulares y a su valor en el análisis léxico.
  
  
• Expresiones Regulares en la Vida Real
  Extensiones que se encuentran con más frecuencia en las implementaciones de expresiones regulares.

Gramáticas

• Gramaticas, Derivacion, Formas Sentenciales, y Lenguajes Generados
  Gramáticas, derivaciones, formas sentenciales, Ambiguedad, y lenguaje generado por una gramática.
  
  
• Tipos de Lenguajes y Jerarquía de Chomsky
  Tipos de lenguajes: Gramatica Irrestricta, Gramatica Independiente del Contexto, Gramatica Regular.
  
  
• BNF (Backus-Naur form, o forma de Backus-Naur), una metansintaxis compacta para escribir gramáticas independientes del contexto.
  
  

Análisis Sintáctico

• Arboles de Derivacion
  Árboles de Derivación y ambigüedad.
  
  
• Analisis Sintactico Formal
  Definición formal del análisis sintáctico. Analisis Sintactico Descendente, Configuraciones y derivaciones. Analisis Sintactico Ascendente.
  
  
• Análisis Sintáctico Descendente
  Introducción al Analisis Sintactico Descendente recursivo.
  
  
• Transformación de gramáticas
  Efectos de la ambigüedad y la recursión por la izquierda en el análisis descendente recursivo. Eliminación de la recursión izquierda, y factorización.
  
  
• Análisis Sintáctico Descendente Predictivo: LL(k)
  El algoritmo para el Analizador Predictivo No Recursivo se encuentra en: Algoritmo de Analizador Predictivo No Recursivo (APNR)
  El análisis sintáctico predictivo produce derivaciones izquierdas con analizadores descendentes que no requieren retroceso (o sea, que son deterministas). La clase de gramáticas y lenguajes a los que se puede aplicar un análisis predictivo se llama LL(k) y comprende a la mayoría de los lenguajes de programación.

• Analisis Sintactico Ascendente Por Corrimiento Reducción
• Algoritmo de Análisis Sintáctico LR

Análisis Semántico y Traducción

• Traducción Dirigida por la Sintaxis (TDS)
  Definiciones y esquemas de traducción dirigida por la sintaxis. Producción de árboles de sintaxis abstracta a partir de gramáticas independientes de contexto. Cómo podemos aumentar una gramática con atributos y acciones semánticas para llevar a cabo labores de traducción o interpretación.
  
  
• Verificación de Tipos
  Tipos de las estructuras de los lenguajes de programación. Equivalencia, verificación, y unificación de tipos.

Autómatas Finitos

• Análisis léxico eficiente con máquinas simples. Autómatas finitos deterministas y no-deterministas, su relación con los conjuntos y expresiones regulares, y su papel en el análisis léxico. Transformación de autómatas no-deterministasAutomata Finito No-Determinista en deterministas, y minimización de autómatas.
  
  
• Autómatas Finitos y Expresiones Regulares
  Método de Thompson para hallar un autómata finito que reconozca el Lenguaje representado por una expresión regular. Obtención de una expresión regular para el Lenguaje reconocido por un autómata finito.
  
  
• Minimización de Autómatas Finitos Deterministas
  Algoritmo de minimización de AFD.
  
  
• Lema de Bombeo
  Un lema para que permite probar que un lenguaje determinado no es regular.
  
  
• Implementación de Autómatas Finitos
  Diversas maneras de escribir programas que implementen autómatas finitos.

• Autómatas de Pila
  Los problemas de membresía y derivación para los lenguajes independientes del contexto (CFG). Autómatas que reconocen CFG y resuelven el problema de membrecía.